Constraints over Lambda-Structures in Semantic Underspecification
نویسندگان
چکیده
We introduce a first-order language for semantic underspecification that we call Constraint Language for Lambda-Structures (CLLS). A A-structure can be considered as a A-term up to consistent renaming of bound variables (a-equality); a constraint of CLLS is an underspec-ified description of a A-structure. CLLS solves a capturing problem omnipresent in underspec-ified scope representations. CLLS features constraints for dominance, lambda binding, paral-lelism, and anaphoric links. Based on CLLS we present a simple, integrated, and underspecified treatment of scope, parallelism, and anaphora.
منابع مشابه
The Constraint Language for Lambda Structures
This paper presents the Constraint Language for Lambda Structures (CLLS), a first-order language for semantic underspecification that conservatively extends dominance constraints. It is interpreted over lambda structures, tree-like structures that encode λ-terms. Based on CLLS, we present an underspecified, uniform analysis of scope, ellipsis, anaphora, and their interactions. CLLS solves a var...
متن کاملSemantic Underspecification : Which Technique for What Purpose ?
In recent years a variety of representation formalisms have been proposed that support the construction of underspecified semantic representations, such as Quasi-Logical Form, Underspecified Logical Form, Underspecified Discourse Representation Theory, Minimal Recursion Semantics, Ontological Promiscuity, Hole Semantics, the Constraint Language for Lambda Structures, and Normal Dominance Constr...
متن کاملSemantic Underspecification : Which Technique for What
In recent years a variety of representation formalisms have been proposed that support the construction of underspecified semantic representations, such as Quasi-Logical Form, Underspecified Logical Form, Underspecified Discourse Representation Theory, Minimal Recursion Semantics, Ontological Promiscuity, Hole Semantics, the Constraint Language for Lambda Structures, and Normal Dominance Constr...
متن کاملScope Underspecification with Tree Descriptions: Theory and Practice
In this paper, we outline the results of the CHORUS project on the topic of semantic underspecification, along two major lines of research: We review a series of solvers for dominance constraints and dominance graphs, two closely related underspecification formalisms developed in CHORUS, and present research results concerned with semantic construction and the development of wide-coverage under...
متن کاملA Uniform Approach to Underspecification and Parallelism
We propose a unified framework in which to treat semantic underspecification and parallelism phenomena in discourse. The framework employs a constraint language that can express equality and subtree relations between finite trees. In addition, our constraint language can express the equality up-to relation over trees which captures parallelism between them. The constraints are solved by context...
متن کامل